新しいプログラミング・パラダイム⑮ 様相論理とテンポラル・プログラミング